#ifdef CONFIG_SMP
cpumask_t cpus_booted_once_mask;
#endif